Fix #14367: Support polyspace inline suppressions for misra c:20xx rules#8105
Fix #14367: Support polyspace inline suppressions for misra c:20xx rules#8105ludviggunne wants to merge 14 commits intodanmar:mainfrom
Conversation
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
|
Should this be behind a flag? Always parsing for something very niche (and premium only?) seems undesired. |
I think that would be good. |
ludviggunne
force-pushed
the
14367
branch
2 times, most recently
from
565b38a to
d27f25b
Compare
Since it is specific to certain MISRA rules it should only be active if those rules are active. |
ludviggunne
force-pushed
the
14367
branch
3 times, most recently
from
da0456b to
d6d79ef
Compare
I agree it's niche use case. Especially for open source projects. imho.. if If misra checkers are not enabled then it's redundant to handle the polyspace comments. |
ludviggunne
force-pushed
the
14367
branch
3 times, most recently
from
46e46b5 to
88ebbde
Compare
ludviggunne
force-pushed
the
14367
branch
2 times, most recently
from
1784a61 to
46af5b1
Compare
| continue; | ||
| } | ||
|
|
||
| std::list<SuppressionList::Suppression> inlineSuppressions; |
There was a problem hiding this comment.
I am not sure what exact handling we have here.. but I have the feeling we might want to reuse the same handling for cppcheck/polyspace inline suppressions so isn't it a good idea to add polyspace suppressions in inlineSuppressions also? For instance the filename used for cppcheck inline suppressions why don't we want to use the same for polyspace suppressions. There is handling for "file/begin"/"end" which could be useful for polyspace also I think..
There was a problem hiding this comment.
Polyspace suppressions comments work quite differently from cppcheck suppression comments. So there isn't really any shared logic. But good point about the filename, I'll fix that.
| mHasPeeked = false; | ||
|
|
||
| while (true) { | ||
| const CommentKind kind = parseKind(); |
There was a problem hiding this comment.
does this handle multiple polyspace suppressions in a comment? can't there only be one suppression in a comment?
There was a problem hiding this comment.
/* polyspace Family_1 : Result_1_name "comment 1" polyspace Family_2 : Result_2_name "comment 2"*/
|
3 participants
No description provided.